3

Synchronous atomic broadcast for redundant broadcast channels

Year:
1990
Language:
english
File:
PDF, 1.03 MB
english, 1990
4

Probabilistic clock synchronization

Year:
1989
Language:
english
File:
PDF, 1.35 MB
english, 1989
14

Robust data types

Year:
1982
Language:
english
File:
PDF, 1.80 MB
english, 1982
15

Coordinator log transaction execution protocol

Year:
1993
Language:
english
File:
PDF, 1.57 MB
english, 1993
16

Reaching agreement on processor-group membrship in synchronous distributed systems

Year:
1991
Language:
english
File:
PDF, 1.58 MB
english, 1991
17

Integrating External and Internal Clock Synchronization

Year:
1997
Language:
english
File:
PDF, 562 KB
english, 1997
18

Fail-Awareness: An Approach to Construct Fail-Safe Systems

Year:
2003
Language:
english
File:
PDF, 923 KB
english, 2003
20

Correct and Robust Programs

Year:
1984
Language:
english
File:
PDF, 3.21 MB
english, 1984
27

On the specification of behavioural constraints

Year:
1981
Language:
english
File:
PDF, 318 KB
english, 1981
28

Fault-tolerance in air traffic control systems

Year:
1996
Language:
english
File:
PDF, 258 KB
english, 1996
33

High-performance asynchronous atomic broadcast

Year:
1997
Language:
english
File:
PDF, 223 KB
english, 1997
37

On the specification of behavioural constraints

Year:
1981
Language:
english
File:
PDF, 318 KB
english, 1981
38

On the specification of behavioural constraints

Year:
1981
Language:
english
File:
PDF, 318 KB
english, 1981
42

Synchronous and asynchronous

Year:
1996
Language:
english
File:
PDF, 1.48 MB
english, 1996